Digital PLL for ISM applications

In modern transceivers, a low power PLL is a key block. It is known that with the evolution of technology, lower power and high performance circuitry is a challenging demand. In this thesis, a low power PLL is developed in order not to exceed 2mW of total power consumption. It is composed by small area blocks which is one of the main demands. The blocks that compose the PLL are widely abridged and the final solution is shown, showing why it is employed. The VCO block is a Current-Starved Ring Oscillator with a frequency range from 400MHz to 1.5GHz, with a 300μW to approximately 660μW power consumption. The divider is composed by six TSPC D Flip-Flop in series, forming a divide-by-64 divider. The Phase-Detector is a Dual D Flip-Flop detector with a charge pump. The PLL has less than a 2us lock time and presents a output oscillation of 1GHz, as expected. It also has a total power consumption of 1.3mW, therefore fulfilling all the specifications. The main contributions of this thesis are that this PLL can be applied in ISM applications due to its covering frequency range and low cost 130nm CMOS technology

Design of a Reference Buffer for a Delta-Sigma ADC with Current DAC

In analog to digital conversion, it’s necessary to provide a reference voltage to the Analog to Digital Converter (ADC), in order to quantify the input signal. However, as the ADC has a switch constantly commuting on its input it will cause perturbations on the reference voltage provided by the Bandgap circuit. Thus, it will interfere with the normal behaviour of the Bandgap circuit, which will longer be capable of provide the desired reference voltage. Besides, if the reference voltage is not constant in the desired value the output code generated by the ADC will have errors. In order to avoid conversion errors it will be needed to introduce a buffer between the Bandgap and the ADC. Thus, taking advantage from the characteristics of the buffer (low output impedance, high input impedance and unitary gain) the system will be capable of recover from the perturbations introduced by the ADC in the reference voltage. Therefore, in this thesis are studied some of the already existing architectures of buffers, in order to see the advantages and disadvantages of each one. This way were chosen the best three architectures from a theoretical point of view, to implement and simulate, to obtain all the needed information in order to better compare them

Absorbing-state phase transition and activated random walks with unbounded capacities

In this article, we study the existence of an absorbing-state phase transition of an Abelian process that generalises the Activated Random Walk (ARW). Given a vertex transitive G=(V,E), we associate to each site x∈V a capacity wx≥0, which describes how many inactive particles x can hold, where {wx}x∈V is a collection of i.i.d random variables. When G is an amenable graph, we prove that if E[wx]0. Moreover, in the former case, we provide bounds for the critical density that match the ones available in the classical Activated Random Walk

The luminosity function of quasars by the Principle of Maximum Entropy

We propose a different way to obtain the distribution of the luminosity function of quasars by using the Principle of Maximum Entropy. The input data comes from the SDSS-DR3 quasars counts, extending up to redshift 5 and limited from apparent magnitude $i=15$ to 19.1 at $z\lesssim3$ to $i=20.2$ for $z\gtrsim3$. Using only few initial data points, the Principle allows us to estimate probabilities and hence that luminosity curve. We carry out statistical tests to evaluate our results. The resulting luminosity function compares well to earlier determinations. And our results remain consistent either when the amount or choice of sampled sources is unbiasedly altered. Besides this we estimate the distribution of the luminosity function for redshifts in which there is only observational data in the vicinity.Comment: Accepted for publication in MNRA

Generalising KAT to verify weighted computations

Kleene algebra with tests (KAT) was introduced as an algebraic structure to model and reason about classic imperative programs, i.e. sequences of discrete transitions guarded by Boolean tests. This paper introduces two generalisations of this structure able to express programs as weighted transitions and tests with outcomes in non necessarily bivalent truth spaces: graded Kleene algebra with tests (GKAT) and a variant where tests are also idempotent (I-GKAT). In this context, and in analogy to Kozen's encoding of Propositional Hoare Logic (PHL) in KAT we discuss the encoding of a graded PHL in I-GKAT and of its while-free fragment in GKAT. Moreover, to establish semantics for these structures four new algebras are de ned: FSET (T ), FREL(K; T ) and FLANG(K; T ) over complete residuated lattices K and T , and M(n;A) over a GKAT or I-GKAT A. As a nal exercise, the paper discusses some program equivalence proofs in a graded context.POCI-01-0145-FEDER-03094, NORTE-01-0145-FEDER-000037. ERDF – European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation - COMPETE 2020 Programme and by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia, within project POCI-01-0145-FEDER-030947. This paper is also a result of the project SmartEGOV, NORTE-01-0145-FEDER-000037. The second author is supported in the scope of the framework contract foreseen in the numbers 4, 5 and 6 of the article 23, of the Decree-Law 57/2016, of August 29, changed by Portuguese Law 57/2017, of July 19, at CIDMA (Centro de Investigação e Desenvolvimento em Matemática e Aplicações) UID/MAT/04106/2019

Multidimensional approach for tsunami vulnerability assessment: framing the territorial iImpacts in two municipalities in Portugal

This study presents a new multidimensional methodology for tsunami vulnerability assessment that combines the morphological, structural, social, and tax component of vulnerability. This new approach can be distinguished from previous methodologies that focused primarily on the evaluation of potentially affected buildings and did not use tsunami numerical modeling. The methodology was applied to the Figueira da Foz and Vila do Bispo municipalities in Portugal. For each area, the potential tsunami-inundated areas were calculated considering the 1755 Lisbon tsunami, which is the greatest disaster caused by natural hazards that ever occurred in Portugal. Furthermore, the four components of the vulnerability were calculated to obtain a composite vulnerability index. This methodology enables us to differentiate the two areas in their vulnerability, highlighting the characteristics of the territory components. This methodology can be a starting point for the creation of a local assessment framework at the municipal scale related to tsunami risk. In addition, the methodology is an important support for the different local stakeholders.info:eu-repo/semantics/publishedVersio

Towards a specification theory for fuzzy modal logic

Fuzziness, as a way to express imprecision, or uncertainty, in computation is an important feature in a number of current application scenarios: from hybrid systems interfacing with sensor networks with error boundaries, to knowledge bases collecting data from often non-coincident human experts. Their abstraction in e.g. fuzzy transition systems led to a number of mathematical structures to model this sort of systems and reason about them. This paper adds two more elements to this family: two modal logics, framed as institutions, to reason about fuzzy transition systems and the corresponding processes. This paves the way to the development, in the second part of the paper, of an associated theory of structured specification for fuzzy computational systems.This work is financed by the ERDF - European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation -COMPETE 2020 Programme and by National Funds through the Portuguese funding agency, FCT -Fundacao para a Ciencia e a Tecnologia within project POCI-01-0145-FEDER-029946 -PTDC/CCI-COM/29946/2017

Introducing synchrony in fuzzy automata

This paper introduces a sort of automata and associated languages, often arising in modelling natural phenomena, in which both vagueness and simultaneity are taken as first class citizens. This requires a fuzzy semantics assigned to transitions and a precise notion of a synchronous product to enforce the simultaneous occurrence of actions. The expected relationships between automata and languages are revisited in this setting; in particular it is shown that any subset of a fuzzy synchronous language with the suitable signature forms a synchronous Kleene algebra.NORTE-01-0145-FEDER-000037. POCI-01-0145-FEDER-030947. ERDF – European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation - COMPETE 2020 Programme and by National Funds through the Portuguese funding agency, FCT - Funda¸c˜ao para a Ciˆencia e a Tecnologia, within projects POCI-01-0145-FEDER-030947 and UID/MAT/04106/2019. The second author is supported in the scope of the framework contract foreseen in the numbers 4, 5 and 6 of the article 23, of the Decree-Law 57/2016, of August 29, changed by Portuguese Law 57/2017, of July 19. This paper is also a result of the project SmartEGOV: Harnessing EGOV for Smart Governance (Foundations, Methods, Tools) NORTE-01-0145- FEDER-000037, supported by Norte Portugal Regional Operational Programme (NORTE 2020), under the PORTUGAL 2020 Partnership Agreement, through the European Regional Development Fund (EFDR). It received further support from the PT-FLAD Chair in Smart Cities & Smart Governanc

On kleene algebras for weighted computation

Kleene algebra with tests (KAT) was introduced as an alge- braic structure to model and reason about classic imperative programs, i.e. sequences of discrete actions guarded by Boolean tests. This paper introduces two generalisations of this structure able to ex- press programs as weighted transitions and tests with outcomes in a not necessary bivalent truth space, namely graded Kleene algebra with tests (GKAT) and Heyting Kleene algebra with tests (HKAT). On these contexts, in analogy to Kozen's encoding of Propositional Hoare Logic (PHL) in KAT [10], we discuss the encoding of a graded PHL in HKAT and of its while-free fragment in GKAT.This work is financed by the ERDF - European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation - COMPETE 2020 Programme and by National Funds through the Portuguese funding agency, FCT - Fundacao para a Ciencia e a Tecnologia, within projects POCI-01-0145-FEDER-016692 and UID/MAT/04106/2013. The second author is also supported by the individual grant SFRH/BPD/103004/2014

Land use and land cover dynamics in Leiria City: relation between peri-urbanization processes and hydro-geomorphologic disasters

The objective of the present study is to evaluate the relation between the spatial and temporal dynamics of Land Use and Land Cover (LULC) and the hydro-geomorphological processes and their impacts. The study area is the city of Leiria, in central Portugal, within the period 1958–2018 based on the historical record of floods and landslides disasters. The LULC analysis shows an accentuated increase in the artificial areas and a continuous decrease in the agricultural areas. With regard to hydro-geomorphologic disaster occurrences, a total of 124 occurrences were identified, having caused a set of impacts. The obtained results allow one to characterize the artificialization process, its intensity and territorial dispersion, as a consequence of urban sprawl and peri-urbanization, along with its consequences in exposure to hydro-geomorphological processes. The analysis concludes that changing the risk drivers resulted in an increase in frequency and spatial dispersion of hydro-geomorphologic disasters over the analysed period.N/